Relations between Logical Necessity and Logical Truth

Some Logical Invariants of Algebras and Logical Relations between Algebras

Let Θ be an arbitrary variety of algebras and H an algebra in Θ. Along with algebraic geometry in Θ over the distinguished algebra H, a logical geometry in Θ over H is considered. This insight leads to a system of notions and stimulates a number of new problems. Some logical invariants of algebras H ∈ Θ are introduced and logical relations between different H1 and H2 in Θ are analyzed. The pape...

Propositional Identity and Logical Necessity

In two early papers, Max Cresswell constructed two formal logics of propositional identity,  and , which he observed to be respectively deductively equivalent to modal logics 4 and 5. Cresswell argued informally that these equivalences respectively “give . . . evidence” for the correctness of 4 and 5 as logics of broadly logical necessity. In this paper, I describe weaker propositiona...

Logical Form and Truth-Conditions∗

This paper outlines a truth-conditional view of logical form, that is, a view according to which logical form is essentially a matter of truth-conditions. Section 1 provides some preliminary clarifications. Section 2 shows that the main motivation for the view is the fact that fundamental logical relations such as entailment or contradiction can formally be explained only if truth-conditions ar...

Truth Simpliciter and Logical Consequence

Meaning, Context, and Logical Truth

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...